On the Instructions of SCM1

The articles [17], [23], [18], [14], [24], [7], [8], [2], [3], [19], [22], [1], [9], [5], [10], [15], [4], [6], [12], [13], [20], [16], [21], and [11] provide the notation and terminology for this paper. For simplicity, we follow the rules: a, b denote data-locations, i1, i2, i3 denote instructionlocations of SCM, s1, s2 denote states of SCM, T denotes an instruction type of SCM, and k denotes a natural number. The following propositions are true: